退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:CHR约束的自动蕴涵检查
Tom Schrijvers A; Peter Stuckey B; C Thom Frühwirth D;
机译:ChR:R中的动态功能约束检查
机译:自动生成CHR约束求解器
机译:半自动生成CHR解算器以解决全局约束
机译:通过模型检查自动检测严重的存储系统错误。
机译:通过模型检查发现囊泡交通网络约束
机译:CHR约束的自动隐含检查
机译:salsa:将约束求解器与BDD结合用于自动不变检查
机译:布局对称性约束检查方法和布局对称性约束检查设备
机译:自动检查公共合同和分布式对象上的私人约束
机译:分布式对象中公共合同和私人合同的自动检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。